- Axiomatique
- см. Аксиоматика
Философский словарь — М.: Палимпсест, Издательство «Этерна». Андре Конт-Спонвиль. 2012.
Axiomatique
Смотреть что такое "Axiomatique" в других словарях:
AXIOMATIQUE — La méthode axiomatique est un mode d’exposition des sciences exactes fondé sur des propositions admises sans démonstration et nettement formulées et des raisonnements rigoureux. On se limitera ici à quelques indications méthodologiques et… … Encyclopédie Universelle
Axiomatique — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… … Wikipédia en Français
axiomatique — (a ksi o ma ti k ) adj. Terme didactique. Qui tient de l axiome. ÉTYMOLOGIE Axiome. SUPPLÉMENT AU DICTIONNAIRE AXIOMATIQUE. Ajoutez : • Un sixième caractère de cette loi [la loi fondamentale de la raison] est d être axiomatique, MAGY… … Dictionnaire de la Langue Française d'Émile Littré
Axiomatique (recueil) — Axiomatique Auteur Greg Egan Genre Recueil de nouvelles Version originale Titre original Axiomatic Éditeur original Orion/Millennium Langue originale Anglais … Wikipédia en Français
Axiomatique (nouvelle) — Axiomatique Auteur Greg Egan Genre Nouvelle Version originale Titre original Axiomatic Éditeur original Interzone Langue originale Anglais australien … Wikipédia en Français
axiomatique de Hilbert — ● axiomatique de Hilbert Système de vingt sept axiomes pour la géométrie euclidienne … Encyclopédie Universelle
Axiomatique de Zermelo-Fraenkel — ZFC En mathématiques, l abréviation ZF désigne la théorie de Zermelo Fraenkel, ZFC quand elle comprend l axiome du choix, théorie des ensembles la plus couramment utilisée en mathématiques contemporaines. Bien que la théorie ne porte pas le nom… … Wikipédia en Français
Semantique axiomatique — Sémantique axiomatique La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves … Wikipédia en Français
Sémantique axiomatique — La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves … Wikipédia en Français
Theorie axiomatique — Théorie axiomatique Quand on parle de théorie mathématique on fait référence à une somme d énoncés, de définitions, de méthodes de preuve etc. Par exemple, quand dans cet article on parle de théorie de la calculabilité c est en ce sens. Par… … Wikipédia en Français
